TSTP Solution File: DAT141^1 by SInE---0.4